Licensing Double Negation in NC and non-NC languages

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Linear Context-Free Languages Are in NC

This paper concerns linear context-free languages (LIN). We prove that LIN ⊆ NC (under UE∗−uniformity reduction). We introduce a new normal form for context-free grammars, called Dyck normal form. Using this new normal form we prove that for each context-free language L there exist an integer K and a homomorphism φ such that L = φ(D′ K), where D′ K ⊆ DK , and DK is the one-sided Dyck language o...

متن کامل

SU(Nc) gauge theories for all Nc.

We show that SU(Nc) gauge theories in 2+1 dimensions are close toNc = ∞ forNc ≥ 2. The dimensionful coupling, g, is proportional to 1/Nc, at largeNc, confirming the usual diagram-based expectation. Preliminary calculations in 3+1 dimensions indicate that the same is true there. Oxford Preprint Number: OUTP–96–49P hep-lat/9701004 ∗presented at Lattice 96

متن کامل

مقایسه حدت و تغییرات هیستوپاتولوژی جدایه‌های NC-1 و NC-SWEB1 نئوسپورا کانینوم در تخم‌مرغ جنین‌دار

علی‌رغم وجود اطلاعات محدود در مورد نقش پرندگان در زمینه عفونت با نئوسپورا کانینوم، تا کنون گزارشی در مورد نقش جوجه‌های نژاد گوشتی در زمینه عفونت با این انگل وجود ندارد. در این مطالعه، دو جدایه NC-1 و NC-SweB1 نئوسپورا کانینوم جهت تلقیح در تخم‌مرغ جنین‌دار نژاد گوشتی مورد استفاده قرار گرفت. برای هر یک از جدایه‌ها، شش رقت مختلف (10، 102، 103، 104، 105 و 106) تهیه گردید. برای هر رقت یک گروه 10 تای...

متن کامل

Oneway Permutations in Nc

We prove that there is a family of permutations which are computable by a family ofNC circuits while their inverses are P-hard to compute. Thus these permutations are oneway from the point of view of parallel computation.

متن کامل

Cryptography in Nc

We study the parallel time-complexity of basic cryptographic primitives such as one-way functions (OWFs) and pseudorandom generators (PRGs). Specifically, we study the possibility of implementing instances of these primitives by NC functions, namely by functions in which each output bit depends on a constant number of input bits. Despite previous efforts in this direction, there has been no con...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Natural Language & Linguistic Theory

سال: 2012

ISSN: 0167-806X,1573-0859

DOI: 10.1007/s11049-011-9163-z